Revision: tla-tools--devo--0--patch-83
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Wed Sep 29 12:41:31 JST 2004
Standard-date: 2004-09-29 03:41:31 GMT
Modified-files: ChangeLog tla-update-ids.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-83
Summary: tla-update-ids: Correctly print end-markers in -T output

